481. Logic Colloquium '73 : proceedings of the logic Colloquium ,Bristol,July 1973
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Congresses
رده :
QA
9
.
A1
.
L63
1973
482. Logic Colloquium'86 : proceedings of thjje Colloquium held in Hull, U.K., July 13-19, 1986
پدیدآورنده : edited by F.R. Drake and J.K. Truss
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1986
483. Logic Colloquium : symposium on logic held at Boston, 1972-73
پدیدآورنده : edited by R. Parikh
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
484. Logic II : proof
پدیدآورنده : prepared by the mathematics foundation course team
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
O6
1971
485. Logic, Language, and Probability :
پدیدآورنده : edited by Radu J. Bogdan, Ilkka Niiniluoto.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.
486. Logic, Mathematics, and Computer Science.
پدیدآورنده : \ Yves Nievergelt
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
487. Logic, Methodology, And Philosophy Of Science, VII.: Proceedings Of The Seventh International Congress Of Logic, Methodology , And Philosophy Of Science, Salzburg, 1983
پدیدآورنده : / Edited By Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingartner
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Science -- Philosophy -- Congresses.,Science -- Methodology -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,علوم -- فلسفه -- کنگره ها,علوم -- روش‌شناسی -- کنگره ها,منطق ریاضی-- کنگره‌ها
رده :
Q
174
.
I5P4
488. Logic, Methodology, and Philosophy: proceeding
پدیدآورنده : Edited by Yehoshua Bar-Hillel
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Logic, Symbolic and mathematical-Congresses,Science-Methodology-Congresses,Science-Philosopy-Congresses
رده :
BC
135
.
I52
1964
489. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : Logic Symposia, )9791, Hakone-machi, Japan(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
891
490. Logic Symposia, Hakone, 1979, 1980: proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
پدیدآورنده :
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
491. Logic : a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
492. Logic: a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
493. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
494. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
495. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
496. Logic and automata
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
497. Logic and combinatorics
پدیدآورنده : [Edited by]& Stephen G. Simpson
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47
498. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Combinatorial analysis-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
499. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده : Stephen G. Simpson, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Combinatorial analysis
رده :
QA
9
.
A1A66
1985
500. Logic and computer science
پدیدآورنده : Edited by Piergiorgio Odifreddi
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
9
.
L6
1990
